Inductive Reasoning in Social Choice Theory
نویسندگان
چکیده
منابع مشابه
Social Choice Situations and Aggregation Criteria: Inductive Reasoning in Social Choice Theory
The usual procedure in Social Choice Theory consists in postulating some desirable properties which a aggregation procedure should verify and from them to derive the features of the corresponding social choice function and the outcomes that arise at each possible profile of preferences. In this paper we invert this line of reasoning and try to infer, up from what we call social situations (each...
متن کاملAutomated Reasoning in Social Choice Theory: Some Remarks
Our objective in this note is to comment briefly on the newly emerging literature on computer-aided proofs in Social Choice Theory. We shall specifically comment on [16] (henceforth TL) and [4] (henceforth GE). In the Appendix we provide statements and brief descriptions of the results discussed in this note. Mathematics Subject Classification (2000). Primary (91B14,68T15); Secondary (03B35).
متن کاملTheory-based Bayesian models of inductive reasoning 1 Running head: THEORY-BASED BAYESIAN MODELS OF INDUCTIVE REASONING Theory-based Bayesian models of inductive reasoning
principles of an intuitive theory are relevant in this context; these principles are analogous to the taxonomic and mutation principles underlying the evolutionary model in the last section. First, a structured representation captures the relevant relations between entities in the domain: in this context, we posit a set of directed predator-prey relations. An example of such a food web is shown...
متن کاملReasoning About Social Choice Functions
We introduce a logic specifically designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent preferences. We establish a correspondence between formulae in the logic and properties of social choice functions, and show that the logic is expressively complete with respect to social choice functions, i.e., ...
متن کاملTheory-based Bayesian models of inductive reasoning
Philosophers since Hume have struggled with the logical problem of induction, but children solve an even more difficult task — the practical problem of induction. Children somehow manage to learn concepts, categories, and word meanings, and all on the basis of a set of examples that seems hopelessly inadequate. The practical problem of induction does not disappear with adolescence: adults face ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic, Language and Information
سال: 2019
ISSN: 0925-8531,1572-9583
DOI: 10.1007/s10849-019-09281-8